slant product of cochain

[数] 上链斜积